XSTAMPP 2.0: New Improvements to XSTAMPP Including CAST Accident Analysis and an Extended Approach to STPA
نویسندگان
چکیده
XSTAMPP (eXtensible STAMP Platform ) is a software tool developed to serve the widespread adoption and use of STAMP methodologies in different domains. The first version of XSTAMPP supported only the STPA application. In this paper, we present a new version of XSTAMPP, including CAST accident analysis and extended approach to STPA. We developed two new plug-in tools called (1) A-CAST (Automated CAST) which implements the CAST activities and (2) XSTPA (Extended Approach to STPA) which supports automatically generating the context tables which will be used to refine the safety requirements and automatically transform the refined safety requirements into a formal specification in Linear Temporal Logic (LTL) to support verification activities. XSTAMPP 2.0 is available as an open source platform at our repository http://sourceforge.net/projects/stampp/files/2.0.0/ Keywords-STAMP; STPA; CAST; extended approach to STPA; formal specification, verification
منابع مشابه
XSTAMPP: An eXtensible STAMP Platform As Tool Support for Safety Engineering
STPA (Systems-Theoretic Processes Analysis) is a new hazard analysis technique based on STAMP. STPA is already being used in different industrial domains (e.g. space, aviation, medical or automotive). To support the application of STPA and make using STPA more efficient, we developed an open tool called A-STPA. However, the current usage of ASTPA by safety analysts in different areas shows a nu...
متن کاملInvestigation of Ca in the Microstructural Evolution and Porosity Analysis of ZK60 Alloy in As-Cast and Extruded Conditions
This research work has been carried out to study the effect of different Ca contents (0.5, 1.0, 1.5, 2.0 and 3.0) on the microstructure and porosity content of ZK60 alloys. The samples were examined by using optical and scanning electron microscopy (SEM) to evaluate the modification efficiency of the alloy with different Ca concentrations. The cast specimens were modified, homogenized and extru...
متن کاملOpen Tool Support for System-Theoretic Process Analysis
STPA (System-Theoretic Process Analysis) is a new hazard analysis technique which builds on STAMP, a process and accident model using concepts of system and control theory. In this paper, we present A-STPA an open tool to help transform STPA to an executable STPA which automates the activities of STPA. We develop the A-STPA tool to assist safety analysts in performing STPA. Moreover, it will gi...
متن کاملExperiences with Applying STPA to Software-Intensive Systems in the Automotive Domain
Hazard analysis is one of the most important elements in developing safe-critical systems. STPA (SystemsTheoretic Process Analysis) is a modern technique based on the new accident causation model STAMP (System-Theoretic Accident Model and Process) for analyzing hazard and safety issues, which can be applied early in the design process of a system to achieve an acceptable risk level. We have app...
متن کاملModel - Based Analysis of Socio - Technical Risk 1
Traditional approaches to hazard analysis and safety-related risk management are based on an accident model that focuses on failure events in static engineering designs and linear notions of causality. They are therefore limited in their ability to include complex human decision-making, software errors, system accidents (versus component failure accidents), and organizational risk factors in th...
متن کامل